|i| == if 0 z i then i else -i fi  

latex

Definitions	if b then t else f fi , i z j, #$n, -n
FDL editor aliases	absval